dec\_binrel($T$;$r$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$, $y$:$T$. Dec($r$($x$,$y$))